@i[[x;upd]]
== es-decls(es;i;ds;da)
==  e@i.
==  (z after e)
==  =
==  list_accum(z',nf.nf/n,f.
==  list_accum(z',nf.if action[[x n]][es-init(es;e);e] f((state when e),val(e)) else z' fi;
==  list_accum(z when e;
==  list_accum(upd(<kind(e),z>)?nil) 

latex

---

clarification:

ecl-mng-update{i:l}
ecl-mng-update(es; i; ds; da; x; z; upd)
== es-decls(es;i;ds;da)
==  alle-at(es;i;e.es-after(es; z; e)
==  alle-at(es;i;e.=
==  alle-at(es;i;e.list_accum(z',nf.nf/n,f.
==  alle-at(es;i;e.list_accum(z',nf.if es-bact{i:l}
==  alle-at(es;i;e.list_accum(z',nf.if es-bact(ds; da; x; es; n; es-init(es;e); e)
==  alle-at(es;i;e.list_accum(z',nf.if f(es-state-when(es;e),es-val(es; e))
==  alle-at(es;i;e.list_accum(z',nf.else z' fi;
==  alle-at(es;i;e.list_accum(es-when(es; z; e);
==  alle-at(es;i;e.list_accum(fpf-cap(upd;product-deq(Knd;Id;KindDeq;IdDeq);<es-kind(es; e)
==  alle-at(es;i;e.list_accum(fpf-cap(upd;product-deq(Knd;Id;KindDeq;IdDeq);,z>;nil))
==  alle-at(es;i;e. fpf-cap(ds;IdDeq;z;Top)) 

latex

Definitions	P  Q, es-decls(es;i;ds;da), e@i. P(e), s = t, Top, (x after e), list_accum(x,a.f(x;a);y;l), A/x,y. B(x;y), if b t else f fi, action[[a n]][e1;e2], es-init(es;e), f(a), (state when e), val(e), x when e, f(x)?z, product-deq(A;B;a;b), Knd, Id, KindDeq, IdDeq, <a,b>, kind(e), nil
FDL editor aliases	ecl-mng-update